Strong implication-form ISS-Lyapunov functions for discontinuous discrete-time systems

- Grüne, Lars; Kellett, Christopher M.